Bi-Modal Standard Modal Logic